cantor normal form造句
例句與造句
- One such function is the Cantor normal form for surreal numbers.
- The Cantor normal form provides a standardized way of writing ordinals.
- Using Cantor normal forms, the ordinals less than ? 0 can be represented by finite rooted trees.
- Any solution to this equation has Cantor normal form \ varepsilon = \ omega ^ { \ varepsilon }.
- If \ gamma is less than \ varepsilon _ 0, we use the iterated Cantor normal form of \ gamma.
- It's difficult to find cantor normal form in a sentence. 用cantor normal form造句挺難的
- In that case Cantor normal form does not express the ordinal in terms of smaller ones; this can happen as explained below.
- To compare two ordinals written in Cantor normal form, first compare \ beta _ 1, then c _ 1, then \ beta _ 2, then c _ 2, etc ..
- A minor variation of Cantor normal form, which is usually slightly easier to work with, is to set all the numbers " c " " i " equal to 1 and allow the exponents to be equal.
- Another variation of the Cantor normal form is the " base ? expansion ", where ? is replaced by any ordinal ? > 1, and the numbers " c " " i " are positive ordinals less than ?.
- As discussed above, the Cantor Normal Form of ordinals below \ varepsilon _ 0 can be expressed in an alphabet containing only the function symbols for addition, multiplication and exponentiation, as well as constant symbols for each natural number and for \ omega.
- Canonicalness can be checked recursively : an expression is canonical if and only if it is either the iterated Cantor normal form of an ordinal less than \ varepsilon _ 0, or an iterated base \ delta representation all of whose pieces are canonical, for some \ delta = \ psi ( \ alpha ) where \ alpha is itself written in iterated base \ Omega representation all of whose pieces are canonical and less than \ delta.